Proving Pt/Ot High Complexity Evaluation